"Alessandro Aldini" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Foundations of Security Analysis and Design V: FOSAD 2008 2009 Tutorial Lectures (Lecture Notes in Computer Science Security and Cryptology)

Alessandro Aldini, Gilles Barthe, Roberto Gorrieri

Категория: Компьютеры

3.31 Mb

#2

Foundations of Security Analysis and Design V: FOSAD 2008 2009 Tutorial Lectures (Lecture Notes in Computer Science Security and Cryptology)

Alessandro Aldini, Gilles Barthe, Roberto Gorrieri

Категория: Компьютеры

5.45 Mb

#3

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, ... Programming and Software Engineering)

Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky

Категория: Компьютеры

1.53 Mb

#4

Foundations of Security Analysis and Design VI

Alessandro Aldini, Roberto Gorrieri

3.64 Mb

#5

Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings ... Programming and Software Engineering)

Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa

4.60 Mb

#6

Formal methods for quantitative aspects of programming languages : 10th International School on Formal Methods for the Desing of Computer, Communication and Software Systems, SFM 2010 Bertinoro, Italy, June 21-26, 2010 :advanced lectures

Alessandro Aldini; et al

Категория: Cs_Computer science, CsLn_Lecture notes

1.65 Mb

#7

Foundations of Security Analysis and Design 3 conf., FOSAD 2004-2005 Tutorial Lectures

Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli

Категория: CsLn_

2.56 Mb

#8

A Process Algebraic Approach to Software Architecture Design

Alessandro Aldini, Marco Bernardo, Flavio Corradini

2.60 Mb

#9

A Process Algebraic Approach to Software Architecture Design

Alessandro Aldini, Marco Bernardo, Flavio Corradini

2.49 Mb

#10

Foundations of Security Analysis and Design: FOSAD 2006/2007 Turtorial Lectures

Alessandro Aldini, Roberto Gorrieri

4.33 Mb